Wyniki
-
The $omega;1-like recursively saturated models of arithmetic
Roman Kossak
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 109 -
A note on intuitionistic sentential calculus (ISC)
Roman Suszko
Bulletin of the Section of Logic , 3 /1 (1974) s. 20-21 -
Some notions and theorems of McKinsey and Tarski and SCI
Roman Suszko
Bulletin of the Section of Logic , 3 /2 (1974) s. 3-4 -
Remarks on Lukasiewicz three-valued logic
Roman Suszko
Bulletin of the Section of Logic , 4 /3 (1975) s. 87-89 -
A note on the least Boolean theory in SCI
Roman Suszko
Bulletin of the Section of Logic , 4 /4 (1975) s. 136-137 -
On filters and closure systems
Roman Suszko
Bulletin of the Section of Logic , 6 /4 (1977) s. 151-155 -
Paraconsistent extensions of positive logic
Roman Tuziak
Bulletin of the Section of Logic , 25 /1 (1996) s. 15-20 -
Equational Logic and Theories in Sentential Language
Roman Suszko
Bulletin of the Section of Logic , 1 /2 (1972) s. 2-9 -
Filters and natural extensions of closure systems
Roman Suszko, Tamara Weinfeld
Bulletin of the Section of Logic , 8 /3 (1979) s. 130-132 -
EN-logic
Aileen Michaels, Roman Suszko
Bulletin of the Section of Logic , 3 /1 (1974) s. 13 -
On distributivity of closure systems
Wojciech Dzik, Roman Suszko
Bulletin of the Section of Logic , 6 /2 (1977) s. 64-66 -
Descriptions in Theories of Kind W
Mieczysław Omyła, Roman Suszko
Bulletin of the Section of Logic , 1 /3 (1972) s. 8-13 -
Definitions in Theories of Kind W
Mieczysław Omyła, Roman Suszko
Bulletin of the Section of Logic , 1 /3 (1972) s. 14-19 -
Ultraproducts of SCI
Stephen L. Bloom, Roman Suszko
Bulletin of the Section of Logic , 4 /1 (1975) s. 9-12